DictionnaireLe forumContacts

Google | Forvo | +

linear resolution with selection function for definite clauses

intell. lineare Resolution mit Selektionsfunktion für definite Klauseln; SLD-Resolution

Ajouter | Signaler une erreur | Obtenir une URL courte